ePMC

java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files wlan.6.prism --model-input-type prism --property-input-files wlan.props --property-input-names cost_min --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const COL=0

assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property cost_min
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 15874 15874
build-model-states-explored 35872 19998
build-model-states-explored 54155 18283
build-model-states-explored 73820 19665
build-model-states-explored 98948 25128
build-model-states-explored 123142 24194
build-model-states-explored 144907 21765
build-model-states-explored 169504 24597
build-model-states-explored 193891 24387
build-model-states-explored 215339 21447
build-model-states-explored 239818 24479
build-model-states-explored 264311 24494
build-model-states-explored 288790 24478
build-model-states-explored 313293 24504
build-model-states-explored 337803 24510
build-model-states-explored 362596 24793
build-model-states-explored 387202 24606
build-model-states-explored 411246 24044
build-model-states-explored 432011 20765
build-model-states-explored 449609 17598
build-model-states-explored 467433 17824
build-model-states-explored 490090 22657
build-model-states-explored 514548 24458
build-model-states-explored 539050 24502
build-model-states-explored 563405 24355
build-model-states-explored 587523 24118
build-model-states-explored 612044 24521
build-model-states-explored 636550 24505
build-model-states-explored 660639 24089
build-model-states-explored 684992 24354
build-model-states-explored 709330 24338
build-model-states-explored 732816 23486
build-model-states-explored 755328 22512
build-model-states-explored 776199 20871
build-model-states-explored 801494 25295
build-model-states-explored 825459 23965
build-model-states-explored 849419 23960
build-model-states-explored 868720 19301
build-model-states-explored 892678 23958
build-model-states-explored 916631 23953
build-model-states-explored 940610 23979
build-model-states-explored 964576 23966
build-model-states-explored 988545 23969
build-model-states-explored 1012506 23961
build-model-states-explored 1036317 23811
build-model-states-explored 1061097 24779
build-model-states-explored 1087330 26234
build-model-states-explored 1113548 26218
build-model-states-explored 1139770 26221
build-model-states-explored 1166076 26307
build-model-states-explored 1192387 26310
build-model-states-explored 1218583 26196
build-model-states-explored 1244803 26221
build-model-states-explored 1271007 26204
build-model-states-explored 1297039 26032
build-model-states-explored 1323010 25971
build-model-states-explored 1349874 26864
build-model-states-explored 1376745 26871
build-model-states-explored 1403642 26897
build-model-states-explored 1430550 26908
build-model-states-explored 1457438 26888
build-model-states-explored 1484350 26912
build-model-states-explored 1511258 26908
build-model-states-explored 1538174 26916
build-model-states-explored 1563630 25456
build-model-states-explored 1588597 24967
build-model-states-explored 1610621 22024
build-model-states-explored 1627013 16392
build-model-states-explored 1642969 15956
build-model-states-explored 1656982 14013
build-model-states-explored 1670606 13624
build-model-states-explored 1687992 17385
build-model-states-explored 1705299 17308
build-model-states-explored 1721225 15925
build-model-states-explored 1746609 25385
build-model-states-explored 1771952 25343
build-model-states-explored 1797140 25188
build-model-states-explored 1822478 25338
build-model-states-explored 1847797 25319
build-model-states-explored 1873123 25326
build-model-states-explored 1898464 25341
build-model-states-explored 1923733 25269
build-model-states-explored 1949068 25335
build-model-states-explored 1974400 25332
build-model-states-explored 1999706 25306
build-model-states-explored 2023202 23496
build-model-states-explored 2048511 25309
build-model-states-explored 2073768 25257
build-model-states-explored 2098984 25216
build-model-states-explored 2124288 25304
build-model-states-explored 2149580 25292
build-model-states-explored 2174883 25303
build-model-states-explored 2200172 25289
build-model-states-explored 2225453 25281
build-model-states-explored 2250763 25310
build-model-states-explored 2276062 25299
build-model-states-explored 2301303 25241
build-model-states-explored 2326587 25284
build-model-states-explored 2351878 25291
build-model-states-explored 2376732 24854
build-model-states-explored 2401315 24583
build-model-states-explored 2425924 24608
build-model-states-explored 2450475 24552
build-model-states-explored 2475049 24574
build-model-states-explored 2499582 24533
build-model-states-explored 2523600 24018
build-model-states-explored 2548106 24506
build-model-states-explored 2567503 19397
build-model-states-explored 2584037 16534
build-model-states-explored 2600533 16495
build-model-states-explored 2623066 22534
build-model-states-explored 2648618 25552
build-model-states-explored 2674169 25551
build-model-states-explored 2699711 25542
build-model-states-explored 2725229 25518
build-model-states-explored 2750775 25546
build-model-states-explored 2773264 22489
build-model-states-explored 2798392 25128
build-model-states-explored 2823913 25521
build-model-states-explored 2849450 25537
build-model-states-explored 2874960 25510
build-model-states-explored 2900477 25517
build-model-states-explored 2926017 25539
build-model-states-explored 2951543 25527
build-model-states-explored 2977076 25533
build-model-states-explored 3002667 25591
build-model-states-explored 3028214 25547
build-model-states-explored 3053750 25536
build-model-states-explored 3079308 25558
build-model-states-explored 3104828 25520
build-model-states-explored 3130389 25561
build-model-states-explored 3155889 25500
build-model-states-explored 3181460 25570
build-model-states-explored 3206961 25502
build-model-states-explored 3232559 25598
build-model-states-explored 3258080 25521
build-model-states-explored 3283666 25586
build-model-states-explored 3305265 21599
build-model-states-explored 3313745 8480
build-model-states-explored 3339236 25491
build-model-states-explored 3364637 25401
build-model-states-explored 3390156 25519
build-model-states-explored 3415613 25457
build-model-states-explored 3441096 25483
build-model-states-explored 3466543 25447
build-model-states-explored 3491999 25456
build-model-states-explored 3517503 25504
build-model-states-explored 3542913 25410
build-model-states-explored 3568115 25201
build-model-states-explored 3593620 25506
build-model-states-explored 3619140 25520
build-model-states-explored 3644753 25613
build-model-states-explored 3670291 25538
build-model-states-explored 3695853 25562
build-model-states-explored 3721391 25538
build-model-states-explored 3746974 25583
build-model-states-explored 3772477 25503
build-model-states-explored 3798131 25653
build-model-states-explored 3823684 25554
build-model-states-explored 3849253 25569
build-model-states-explored 3874770 25517
build-model-states-explored 3900362 25592
build-model-states-explored 3925869 25507
build-model-states-explored 3951474 25605
build-model-states-explored 3977033 25559
build-model-states-explored 4002621 25588
build-model-states-explored 4028161 25540
build-model-states-explored 4053766 25605
build-model-states-explored 4079312 25545
build-model-states-explored 4104894 25583
build-model-states-explored 4130434 25540
build-model-states-explored 4155986 25552
build-model-states-explored 4181527 25541
build-model-states-explored 4207362 25835
build-model-states-explored 4233397 26035
build-model-states-explored 4259441 26044
build-model-states-explored 4285491 26050
build-model-states-explored 4311505 26014
build-model-states-explored 4337546 26040
build-model-states-explored 4363612 26067
build-model-states-explored 4389627 26015
build-model-states-explored 4415671 26044
build-model-states-explored 4441688 26017
build-model-states-explored 4467699 26011
build-model-states-explored 4493707 26008
build-model-states-explored 4519786 26079
build-model-states-explored 4545796 26010
build-model-states-explored 4571839 26042
build-model-states-explored 4597887 26048
build-model-states-explored 4623957 26071
build-model-states-explored 4649955 25998
build-model-states-explored 4675931 25976
build-model-states-explored 4701918 25987
build-model-states-explored 4727901 25983
build-model-states-explored 4753911 26010
build-model-states-explored 4779873 25962
build-model-states-explored 4805828 25955
build-model-states-explored 4831793 25965
build-model-states-explored 4857754 25961
build-model-states-explored 4883758 26004
build-model-states-explored 4909761 26003
build-model-states-explored 4935730 25969
build-model-states-explored 4961762 26032
build-model-states-explored 4982651 20889
build-model-done 5007548 205
build-model-states-explored 5007548 24897


----------
Computation aborted after 1800.2058823108673 seconds since the total time limit of 1800 seconds was exceeded.